From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics (Oxford Logic Guides)
by
ISBN 13: 9780198566519
Format: Hardcover (370 pages) Publisher: Clarendon Press Published: 06 Oct 2005
Save for later